T. T. Martin - PDFSEARCH.IO - Document Search Engine

T. T. Martin
Results: 1116

#	Item
391	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:18 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
392	Idempotent Work Stealing Maged M. Michael Martin T. Vechev Vijay A. Saraswat Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:56 Concurrency control Scheduling algorithms Computer programming Double-ended queue Non-blocking algorithm FIFO Algorithm Cilk Stack Computing Concurrent computing Abstract data types
393	Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:20 Transaction processing Tree Linked list Data management Mathematics Binary trees Concurrency control Computing Linearizability
394	Proc. of the European Conference on Object-Oriented Programming, Glasgow, UK, July[removed]Derivation and Evaluation of Concurrent Collectors Martin T. Vechev1 , David F. Bacon2 , Perry Cheng2 , and David Grove2 1 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:18 Data types Memory management Automatic memory management Primitive types Cross-platform software Garbage collection Reference counting Unreachable memory Pointer Computing Software engineering Computer programming
395	design Editor: Martin Fowler ■ T h o u g h t Wo r k s Add to Reading List Source URL: www.martinfowler.com Language: English - Date: 2015-03-02 11:36:06 Systems engineering Configuration management Method engineering Technical communication Reliability engineering Software development Software architecture Systems engineering process IBM Lotus Notes Computing Software Technology
396	Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Garbage collection Automatic memory management Reference counting Pointer Logarithm Algorithm Software engineering Memory management Mathematics Computing
397	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:30:20 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
398	65 Martin Place Sydney NSW 2000 GPO Box 3947 Sydney NSW 2001 T: +[removed]F: +[removed] Add to Reading List Source URL: www.rba.gov.au Language: English - Date: 2014-10-27 00:00:32 Financial markets Bank regulation Securities Australian Securities Exchange Economy of New South Wales Liquidity risk Futures exchange Futures contract Clearing Financial economics Finance Financial system
399	Filtre à particules, comment la situation va-t-elle évaluer sur la scène politique? Martin Weder, Directeur ASGB ASGB – Association Suisse de l’industrie des Graviers et du Béton Add to Reading List Source URL: www.fskb.ch Language: French - Date: 2011-12-22 11:36:43
400	Fragen stellen und beantworten können. Comment tu t’appelles? Wie heisst du? Je m’appelle Martin. Ich heisse Martin. Et toi? Und du? Et vous? Und ihr? Und Sie? Add to Reading List Source URL: unterricht.educa.ch Language: French - Date: 2010-12-17 08:52:12

UPDATE